Paxos Made Moderately Complex